Planning for Safety Evidence Collection: A Tool-Supported Approach Based on Modeling of Standards Compliance Information

نویسندگان

  • Davide Falessi
  • Mehrdad Sabetzadeh
  • Lionel Briand
  • Emanuele Turella
  • Thierry Coq
  • Rajwinder Panesar-Walawege
چکیده

Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime, and energy domains often need to be certified based on one or more safety standards. An important prerequisite for demonstrating compliance to software safety standards such as IEC 61508 is the collection of safety evidence. Without an upfront agreement between the system supplier and the certifier about the evidence that needs to be collected, there will invariably be important omissions, which will need to be remedied after the fact and at significant costs. In this article, we present a flexible approach and a supporting tool for assisting suppliers and certifiers in developing an agreement about the evidence necessary to demonstrate compliance to a safety standard. The approach is model-based; specifically, the safety standard of interest is expressed via an information model. The supporting tool, which is available online, takes this information model as input and helps system suppliers and the certifiers in reaching a documented and consistent agreement about the safety evidence that needs to be collected. KeywordsII.XIX.II.Planning for SQA and V&V, II.0.IV Standards, IV.II.15 Software and System Safety. ——————————  ——————————

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

CRESCO: Construction of Evidence Repositories for Managing Standards Compliance

We describe CRESCO, a tool for Construction of Evidence REpositories for Managing Standards COmpliance. CRESCO draws on Model Driven Engineering (MDE) technologies to generate a database repository schema from the evidence requirements of a given standard, expressed as a UML class diagram. CRESCO in addition generates a webbased user interface for building and manipulating evidence repositories...

متن کامل

Using Model-Driven Engineering to Support the Certification of Safety-Critical Systems

Critical systems such as those found in the avionics, automotive, maritime, and energy domains are often subject to a formal process known as certification. The goal of certification is to ensure that such systems will operate safely in the presence of known hazards, and without posing undue risks to the users, the public, or the environment. Certification bodies examine such systems based on e...

متن کامل

Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation

Abstract: Context. Many safety-critical systems are subject to safety certification as a way of providing assurance that these systems cannot unduly harm people, property or the environment. Creating the requisite evidence for certification can be a challenging task due to the sheer size of the textual standards based on which certification is performed and the amenability of these standards to...

متن کامل

Compliance of Children's Play Equipment in Urban Parks of Gonabad with National Safety Standards (Case Study)

Background and aims: Parks are a place for children's play and activity, so making safety these environments that are somehow a social work environment is one of the requirements of environmental planning. Making safety these environments is one of the requirements of environmental planning. It will be necessary to provide quality and sustainable conditions for park playgrounds to improve the s...

متن کامل

Environmental Health and Safety Assessment of Schools in Khalkhal City Using ‎Crisis Management Approach

Background/aim: Paying attention to physical, health and safety issues in educational environments is the most effective and fundamental factor for physical, mental and psychological development of students. Therefore, one of the most important and effective health issues of the school is to observe environmental health and safety. This study was conducted with the aim of surveying the environm...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011